暗号最新事情⑥ 公開鍵方式における安全性の証明付けと新しい枠組みの模索